منابع مشابه
Calife: A Generic Graphical User Interface for Automata Tools
The Calife v3.0 platform is an environment developed under the GPL licence (freely downloadable at http://calife.criltechnology.com) allowing the specification and formal validation of systems described as synchronized product of automata. The goal is not to provide another verification tool, but to interface (all?) existing tools working on automata in a unique environment. Tools can be groupe...
متن کاملA graphical user interface for infant ERP analysis
Recording of event-related potentials (ERPs) is one of the best-suited technologies for examining brain function in human infants. Yet the existing software packages are not optimized for the unique requirements of analyzing artifact-prone ERP data from infants. We developed a new graphical user interface that enables an efficient implementation of a two-stage approach to the analysis of infant...
متن کاملA Graphical User Interface for Relax3d
The Laplace/Poisson solver Relax3d has been used extensively in cyclotron central region design and other accelerator and beam physics applications. It is typically run in an interactive mode where the user types in commands and parameters to initiate and control the solution process and to view or output the results. This paper describes a graphical user interface (GUI) that eliminates most of...
متن کاملA Graphical User Interface for Setheo | Proposal |
The use of the theorem prover SETHEO is, like that of most theorem provers, a very complex subject and almost impossible for the novice or a casual user. In this paper we give a list of required features of a versatile graphical user-interface for SETHEO which allows to control SETHEO using graphical elements and to display the results in a graphical way. The exploration of requirements starts ...
متن کاملA graphical user interface for service adaptation
Service-oriented computing aims at composing independent services to achieve a common goal. Although very flexible, this independence may result in incompatibilities. A pragmatic approach to overcome such incompatibilities offer adapters. An adapter is again a service which reorganizes the message exchange in a service composition to avoid incompatibilities. Given a set of domain-specific messa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Open Source Software
سال: 2019
ISSN: 2475-9066
DOI: 10.21105/joss.01411